Search Results for 'samc 5000'

samc 5000 published presentations and documents on DocSlides.

1 SAMC: Sematic-Aware Model Checking

by mitsue-stanley

for Fast Discovery of. Deep Bugs in Cloud Systems...